Width Subtyping Rule
日本語TaPLでは、
幅部分型付け
と訳されていた
ぐぐったら↓この論文だけヒットした
https://csg-www.s3-ap-northeast-1.amazonaws.com/public/papers/21/ikezaki-master2021.pdf
雑に言うと、record型のfieldの数が大きい方が部分型になるという規則
S-RcdWidth
/mrsekut-book-4274069117/167